$\forall$$k$:$\mathbb{N}$, $A$:((:($\mathbb{N}\rightarrow\mathbb{Q}$) $\times$ $\mathbb{Z}$) List). normalize{-}constraints($k$;$A$) $\in$ ((:($\mathbb{N}\rightarrow\mathbb{Q}$) $\times$ $\mathbb{Z}$) List)